An introduction to Martin-Löf's type theory
- Författare
- Jan Smith Kent Petersson Bengt Nordström
- (Bengt Nordström, Kent Petersson, Jan Smith., "This version is still incomplete and should not be copied".)
- Språk
- Svenska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Department of computer sciences, Göteborgs universitet | 1986 | Sverige, Göteborg | 114 sidor. |